correctness proof
英 [kəˈrektnəs pruːf]
美 [kəˈrektnəs pruːf]
网络 正确性证明; 程序正确性证明
双语例句
- Depending on the difficulty of the specification and code, the group may also write a correctness proof for the code.
随着各个项目规范与程序的难度不同，小组可能需要写出程序正确性的证明。 - Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。 - Programming logic and program correctness proof
程序逻辑和程序正确性推导 - A Method of Program Correctness proof
程序正确性证明的一种方法 - This paper puts forward a new method and a corresponding algorithm used for a general-purpose global data-flow analysis, and gives the time complexity analysis and the correctness proof of the algorithm.
本文提出了一种通用的全局数据流分析新方法及相应的算法，并给出了该算法的时间复杂性分析及其正确性证明。 - The most widely used method in the formal correctness proof is the Hoare method. It uses inductive formulas characterizing input/ output relationships of programs or program segments.
在正确性证明中最广泛应用的方法是Hoare方法，它利用推导公式来描述程序或程序片断的输入/输出关系。 - The correctness proof of the algorithm is also given in this paper.
本文还给出了该算法的正确性证明。 - The article proves a lemma and the correctness of a proof of the conclusion of the inflexion of a curve by two methods using it.
本文证明了一个引理，利用引理采用两种方法证明了关于拐点的一个结论的正确性。 - Many formal methods of programming specification and formal correctness proof appear, which take an important role in the development of the methodology for programming design.
许多程序规范与验证的形式化方法涌现出来，对程序设计方法学的发展起了积极的推动作用。 - One thing should be pointed out is that the correctness proof based on Strand space is valid only on the attack set already known.
需要指出的是：基于Strand空间理论的正确性证明是建立在已知攻击集的基础上的。 - A decomposition algorithm and its correctness proof and analysis are given based on,, and, when a database schema without inside conflict and α cycle meets P 3.
文中在文献〔1〕、〔2〕、〔3〕、〔4〕讨论的基础上给出了数据库模式无内部冲突时，满足P3且为无α环的分解算法、正确性证明和分析。 - And program correctness proof can guarantee this and it is very important to dependable computing.
程序正确性证明可以象证明数学定理一样证明程序是正确的，它对于可信计算具有重要意义。 - A more efficient and secure key agreement scheme is also presented in the second scheme, as well as the correctness proof and security analysis.
论文还在第二种方案中提出了一种高效且安全的密钥协商方案，并给出了该密钥协商方案的正确性证明及安全性分析。 - And the correctness and effectiveness of all the proposed robust synchronization controllers are demonstrated by both theoretical proof and simulation results.
论文对这两种液压驱动的工程系统均进行了建模，对所给出的鲁棒同步控制器的正确性和有效性均进行了理论证明和仿真验证。 - The Rapid Object-Oriented Process for Embedded Systems ( ROPES) Proces is based on the life cycle and emphasizes rapid turnover, early the correctness proof and low risk etc. In Majoy project development we use this process together with pattern design to develop the whole project successfully.
嵌入式系统的快速面向对象过程（ROPES）是一种目前比较流行的嵌入式系统开发过程，它基于迭代式生命周期，强调快速周转、早期的正确性证明和低风险等。 - In 1986, Don R. Swanson, who is the professor of mathematical science at the University of Chicago, first demonstrates the correctness and feasibility of non-interactive literature-based knowledge discovery based on sufficient literature proof.
1986年，美国芝加哥大学的数学教授DonR.Swanson提出了非相关文献知识发现的思想，并以充分的文献证据论证了基于非相关文献的知识发现思想的可行性与正确性。